1. Logical dilemmas :
پدیدآورنده : John W. Dawson, Jr
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gödel, Kurt,Logicians-- Austria, Biography,Logicians-- United States, Biography
رده :
QA29
.
G58
D39
1997
2. Logical dilemmas : the life and work of Kurt Godel
پدیدآورنده : Dawson, Jr., John W.
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
رده :
QA
29
.
G58D3
3. Why prove it again? :
پدیدآورنده : John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory.
رده :
QA9
.
54